121. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
122. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
123. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
124. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
125. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
126. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
127. Category theory & computer programming:tutorial & workshop,
پدیدآورنده : PITT,DAVID H
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
128. Combinatorial optimization
پدیدآورنده : edited by Vangelis Th. Paschos
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Combinatorial optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
C545123
129. Combinatorial optimization
پدیدآورنده : edited by Vangelis Th. Paschos
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatorial optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
C644
130. Combinatorial optimization
پدیدآورنده : edited by Vangelis Th. Paschos
موضوع : Combinatorial optimization,Programming (Mathematics)
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
131. Combinatorial optimization
پدیدآورنده : / edited by Vangelis Th. Paschos
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C5451
2010
132. Combinatorial optimization
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Combinatorial optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
C545123
2010
133. Combinatorial optimization
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C545123
2010
134. Combinatorial optimization
پدیدآورنده : / edited by Vangelis Th. Paschos
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C545
2010
135. Combinatorial programming, spatial analysis and planning
پدیدآورنده : / Allen J. Scott
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : City planning - Mathematical models,Regional planning - Mathametical models,Combinational analysis,Programming (Mathematics)
رده :
711
.
4015116
S425C
136. Commande et regulation par calculateur numerique:de la theorie
پدیدآورنده : FOULARD,CLAUDE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : CONTROL THEORY , SYSTEM ANALYSIS , PROGRAMMING )MATHEMATICS(
رده :
QA
402
.
3
.
F68
1984
137. Complexity of Sequential and parallel numerical algorithms [Proceedings]
پدیدآورنده : / Edited by J. F. Traub
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Electronic data processing - Mathematics,Algorithms,Parallel processing (Electronic computers)
رده :
519
.
4
Sy
138. Computation mathematical programming
پدیدآورنده : edited by K.L. Hoffman, R.H.F. Jackson, J. Telgen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Civil & Environmental Engineering.,Programming (Mathematics),Programming (Mathematics) -- Congresses.
رده :
QA402
.
5
E358
1987
139. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
140. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
